Verissimo, Paulo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A constituição de 1988, vinte anos depois: suprema corte e ativismo judicial "à brasileira"

Verissimo, Marcos Paulo

Journal:

Revista Direito GV

Year:

2008

File:

PDF, 447 KB

2008

2

Software-Defined Networking: A Comprehensive Survey

Kreutz, Diego, Ramos, Fernando M. V., Esteves Verissimo, Paulo, Esteve Rothenberg, Christian, Azodolmolky, Siamak, Uhlig, Steve

Journal:

Proceedings of the IEEE

Year:

2015

Language:

english

File:

PDF, 13.87 MB

english, 2015

3

Logging impacts and prospects for sustainable forest management in an old Amazonian frontier: The case of Paragominas

Verissimo, Adalberto, Barreto, Paulo, Mattos, Marli, Tarifa, Ricardo, Uhl, Christopher

Journal:

Forest Ecology and Management

Year:

1992

Language:

english

File:

PDF, 1.76 MB

english, 1992

4

Assessing the impact of HAART on the incidence of defining and non-defining AIDS cancers among patients with HIV/AIDS: A systematic review

Cobucci, Ricardo Ney Oliveira, Lima, Paulo Henrique, de Souza, Pollyana Carvalho, Costa, Vanessa Viana, Cornetta, Maria da Conceição de Mesquita, Fernandes, José Veríssimo, Gonçalves, Ana Katherine

Journal:

Journal of Infection and Public Health

Year:

2015

Language:

english

File:

PDF, 1.38 MB

english, 2015

5

Chikungunya fever: a threat to global public health

Moizéis, Raíza Nara Cunha, Fernandes, Thales Allyrio Araújo de Medeiros, Guedes, Paulo Marcos da Matta, Pereira, Hannaly Wana Bezerra, Lanza, Daniel Carlos Ferreira, Azevedo, Judson Welber Veríssimo d

Journal:

Pathogens and Global Health

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

6

Improved bushing models for general multibody systems and vehicle dynamics

Jorge Ambrósio, Paulo Verissimo

Journal:

Multibody System Dynamics

Year:

2009

Language:

english

File:

PDF, 1.45 MB

english, 2009

7

[ACM Press the 2nd ACM Workshop - Vienna, Austria (2016.10.28-2016.10.28)] Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy - CPS-SPC '16 - Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems

Lima, Antonio, Rocha, Francisco, Völp, Marcus, Esteves-Veríssimo, Paulo

Year:

2016

Language:

english

File:

PDF, 1.34 MB

english, 2016

8

Ordering and timeliness requirements of dependable real-time programs

Paulo Veríssimo

Journal:

Real-Time Systems

Year:

1994

Language:

english

File:

PDF, 1.77 MB

english, 1994

9

Development of generic multibody road vehicle models for

Luís Sousa, Paulo Veríssimo, Jorge Ambrósio

Journal:

Multibody System Dynamics

Year:

2008

Language:

english

File:

PDF, 1.58 MB

english, 2008

10

Path analysis for selection of drought tolerant sugarcane genotypes through physiological components

Paulo Pedro da Silva, Lailton Soares, João Gomes da Costa, Luciana da Silva Viana, Júlio César Farias de Andrade, Eduardo Rebelo Gonçalves, João Messias dos Santos, Geraldo Veríssimo de Souza Barbosa,

Journal:

Industrial Crops and Products

Year:

2012

Language:

english

File:

PDF, 643 KB

english, 2012

11

Extraction of a high-value natural resource in Amazonia: the case of mahogany

Adalberto Veríssimo, Paulo Barreto, Ricardo Tarifa, Christopher Uhl

Journal:

Forest Ecology and Management

Year:

1995

Language:

english

File:

PDF, 2.54 MB

english, 1995

12

Randomization can be a healer: consensus with dynamic omission failures

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo

Journal:

Distributed Computing

Year:

2011

Language:

english

File:

PDF, 243 KB

english, 2011

13

CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems

Paulo Veríssimo, Luís Rodrigues, Antonio Casimiro

Journal:

Real-Time Systems

Year:

1997

Language:

english

File:

PDF, 830 KB

english, 1997

14

[IEEE 2011 18th Working Conference on Reverse Engineering (WCRE) - Limerick, Ireland (2011.10.17-2011.10.20)] 2011 18th Working Conference on Reverse Engineering - Reverse Engineering of Protocols from Network Traces

Antunes, Joao, Neves, Nuno, Verissimo, Paulo

Year:

2011

Language:

english

File:

PDF, 907 KB

english, 2011

15

[IEEE 2008 7th IEEE International Symposium on Network Computing and Applications (NCA) - Cambridge, MA, USA (2008.07.10-2008.07.12)] 2008 Seventh IEEE International Symposium on Network Computing and Applications - Finite Memory: A Vulnerability of Intrusion-Tolerant Systems

Veronese, Giuliana Santos, Correia, Miguel, Lung, Lau Cheuck, Verissimo, Paulo

Year:

2008

Language:

english

File:

PDF, 236 KB

english, 2008

16

Nutritional status and technological quality of sugarcane due to increasing gypsum doses

Clemente, Paulo Ricardo Aprígio, Silva, Vinicius Santos Gomes da, Ferreira, Vilma Marques, Silva, José Vieira, Barbosa, Geraldo Veríssimo de Souza, Endres, Laurício

Journal:

Australian Journal of Crop Science

Year:

2018

Language:

english

File:

PDF, 824 KB

english, 2018

17

Novel phthalimide derivatives with TNF-α and IL-1β expression inhibitory and apoptotic inducing properties

Coêlho, Lucas Cunha Duarte, Cardoso, Marcos Veríssimo de Oliveira, Moreira, Diogo Rodrigo Magalhães, Gomes, Paulo André Teixeira de Moraes, Cavalcanti, Suellen Melo Tibúrcio, Oliveira, Arsenio Rodrigu

Journal:

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

18

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Proactive resilience through architectural hybridization

Sousa, Paulo, Neves, Nuno Ferreira, Veríssimo, Paulo

Year:

2006

Language:

english

File:

PDF, 146 KB

english, 2006

19

[IEEE 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - Melbourne, Australia (2007.12.17-2007.12.19)] 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - Intrusion Tolerance in Wireless Environments: An Experimental Evaluation

Moniz, Henrique, Neves, Nuno Ferreira, Correia, Miguel, Casimiro, Antonio, Verissimo, Paulo

Year:

2007

Language:

english

File:

PDF, 326 KB

english, 2007

20

[IEEE IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics - Paris, France (2006.11.6-2006.11.10)] IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics - Enforcing Dependability and Timeliness in Controller Area Networks

Rufino, Jose, Almeida, Carlos, Verissimo, Paulo, Arroz, Guilherme

Year:

2006

Language:

english

File:

PDF, 163 KB

english, 2006

21

Thiocarbonyl-bound metallonitrosyl complexes with visible-light induced DNA cleavage and promising vasodilation activity

Silva, Carlos D.S., Paz, Iury A., Abreu, Felipe D., de Sousa, Aurideia P., Veríssimo, Carla P., Nascimento, Nilberto R.F., Paulo, Tércio F., Zampieri, Davila, Eberlin, Marcos N., Gondim, Ana C.S., And

Journal:

Journal of Inorganic Biochemistry

Year:

2018

Language:

english

File:

PDF, 1.53 MB

english, 2018

22

Utilização do isoflurano em macacos-prego (Cebus apella - Cebidae, Primata)

VASCONCELLOS, Carmen Helena de Carvalho, MÁRSICO FILHO, Firmino, GOMEZ SEGURA, Ignácio Alvarez, NASCIMENTO, Paulo Roberto Loureiro do, MONTEIRO, Rafael Veríssimo

Journal:

Brazilian Journal of Veterinary Research and Animal Science

Year:

2000

File:

PDF, 1.17 MB

2000

23

[ACM Press the 2nd Workshop - Shanghai, China (2017.10.28-2017.10.28)] Proceedings of the 2nd Workshop on System Software for Trusted Execution - SysTEX'17 - Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information

Völp, Marcus, Decouchant, Jérémie, Lambert, Christoph, Fernandes, Maria, Esteves-Verissimo, Paulo

Year:

2017

Language:

english

File:

PDF, 454 KB

english, 2017

24

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - Randomized Consensus in Wireless Environments: A Case Where More is Better

Vavala, Bruno, Neves, Nuno, Moniz, Henrique, Veríssimo, Paulo

Year:

2010

Language:

english

File:

PDF, 334 KB

english, 2010

25

[ACM Press the first conference on computing frontiers - Ischia, Italy (2004.04.14-2004.04.16)] Proceedings of the first conference on computing frontiers on Computing frontiers - CF'04 - An architectural framework and a middleware for cooperating smart components

Casimiro, António, Kaiser, Jörg, Veríssimo, Paulo

Year:

2004

Language:

english

File:

PDF, 304 KB

english, 2004

26

Genetic diversity of the main progenitors of sugarcane from the RIDESA germplasm bank using SSR markers

João Messias dos Santos, Luiz Sérgio Costa Duarte Filho, Marina Lyra Soriano, Paulo Pedro da Silva, Velber Xavier Nascimento, Geraldo Veríssimo de Souza Barbosa, Adriana Reis Todaro, Cícero Eduardo Ra

Journal:

Industrial Crops and Products

Year:

2012

Language:

english

File:

PDF, 495 KB

english, 2012

27

Efficient Byzantine Fault-Tolerance

Veronese, Giuliana Santos, Correia, Miguel, Bessani, Alysson Neves, Lung, Lau Cheuk, Verissimo, Paulo

Journal:

IEEE Transactions on Computers

Year:

2013

Language:

english

File:

PDF, 1.00 MB

english, 2013

28

Effect of the crown, post, and remaining coronal dentin on the biomechanical behavior of endodontically treated maxillary central incisors

Veríssimo, Crisnicaw, Simamoto Júnior, Paulo Cézar, Soares, Carlos José, Noritomi, Pedro Yoshito, Santos-Filho, Paulo César Freitas

Journal:

The Journal of Prosthetic Dentistry

Year:

2014

Language:

english

File:

PDF, 2.68 MB

english, 2014

29

[IEEE 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W) - Chicago, IL, USA (2010.06.28-2010.07.1)] 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W) - RAVE: Replicated antivirus engine

Silva, Carlos, Sousa, Paulo, Verissimo, Paulo

Year:

2010

Language:

english

File:

PDF, 378 KB

english, 2010

30

Information Assurance Technology Forecast 2008

Bellovin, Steven M., Benzel, Terry V., Blakley, Bob, Denning, Dorothy E., Diffie, Whitfield, Epstein, Jeremy, Verissimo, Paulo

Journal:

IEEE Security & Privacy Magazine

Year:

2008

Language:

english

File:

PDF, 373 KB

english, 2008

31

[IEEE 2006 IEEE Conference on Emerging Technologies and Factory Automation - Prague, Czech Republic (2006.09.20-2006.09.22)] 2006 IEEE Conference on Emerging Technologies and Factory Automation - Integrating Inaccessibility Control and Timer Management in CANELy

Rufino, Jose, Verissimo, Paulo, Almeida, Carlos, Arroz, Guilherme

Year:

2006

Language:

english

File:

PDF, 142 KB

english, 2006

32

Adaptare

Dixit, Mônica, Casimiro, António, Lollini, Paolo, Bondavalli, Andrea, Verissimo, Paulo

Journal:

ACM Transactions on Autonomous and Adaptive Systems

Year:

2012

Language:

english

File:

PDF, 538 KB

english, 2012

33

[IEEE 2019 38th Symposium on Reliable Distributed Systems (SRDS) - Lyon, France (2019.10.1-2019.10.4)] 2019 38th Symposium on Reliable Distributed Systems (SRDS) - P3LS: Plausible Deniability for Practical Privacy-Preserving Live Streaming

Decouchant, Jeremie, Boutet, Antoine, Yu, Jiangshan, Esteves-Verissimo, Paulo

Year:

2019

File:

PDF, 327 KB

2019

34

Shell beds from the Low Head Member (Polonez Cove Formation, early Oligocene) at King George Island, west Antarctica: new insights on facies analysis, taphonomy and environmental significance

Quaglio, Fernanda, Warren, Lucas Veríssimo, Anelli, Luiz Eduardo, Dos Santos, Paulo Roberto, Rocha-Campos, Antonio Carlos, Gaździcki, Andrzej, Strikis, Pedro Carlos, Ghilardi, Renato Pirani, Tiossi, A

Journal:

Antarctic Science

Year:

2014

Language:

english

File:

PDF, 1.33 MB

english, 2014

35

Maternal dyslipidaemic diet induces sex-specific alterations in intestinal function and lipid metabolism in rat offspring

Pinheiro, Rafael Oliveira, Lins, Priscilla Paulo, de Carvalho, Jader Luciano Pinto, de Araújo, Emmanuel Veríssimo, Alves, Adriano Francisco, de Alencar Pereira, Ramon, Toscano, Lydiane Tavares, Silva,

Journal:

British Journal Of Nutrition

Year:

2019

File:

PDF, 7.24 MB

2019

36

New 1,3-thiazole derivatives and their biological and ultrastructural effects on Trypanosoma cruzi

de Moraes Gomes, Paulo André Teixeira, de Oliveira Barbosa, Miria, Farias Santiago, Edna, de Oliveira Cardoso, Marcos Veríssimo, Capistrano Costa, Natáli Tereza, Hernandes, Marcelo Zaldini, Moreira, D

Journal:

European Journal of Medicinal Chemistry

Year:

2016

Language:

english

File:

PDF, 3.36 MB

english, 2016

37

Worm-IT – A wormhole-based intrusion-tolerant group communication system

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo

Journal:

Journal of Systems and Software

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

38

E-biobanking: What Have You Done to My Cell Samples?

Verissimo, Paulo Esteves, Bessani, Alysson

Journal:

IEEE Security & Privacy Magazine

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

39

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Efficient communication in a design environment

Videira, Idalina, Veríssimo, Paulo, Sarmento, Helena

Year:

1996

Language:

english

File:

PDF, 54 KB

english, 1996

40

Synthesis and pharmacological evaluation of guanidinederivatives with potential hypoglycemic activity

Sarmento, Patrícia de Albuquerque, Cavalcante-Araújo, Polliane, de Melo, Igor, Barcellos França, Paulo, de Medeiros, Návylla, de Oliveira, Tales, Lins, Thaís, Santos Veríssimo, Regina, Assis Bastos, M

Journal:

BMC Proceedings

Year:

2014

Language:

english

File:

PDF, 249 KB

english, 2014

41

Contribution of anthropometric characteristics to pubertal stage prediction in young male individuals* *Study conducted at Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil.

Medeiros, Radamés Maciel Vitor, Arrais, Ricardo Fernando, de Azevedo, Jenner Chrystian Veríssimo, do Rêgo, Jeferson Tafarel Pereira, de Medeiros, Jason Azevedo, de Andrade, Ricardo Dias, Dantas, Paulo

Journal:

Revista Paulista de Pediatria

Year:

2014

Language:

english

File:

PDF, 876 KB

english, 2014

42

[ACM Press the 1st Workshop - Trento, Italy (2016.12.12-2016.12.16)] Proceedings of the 1st Workshop on System Software for Trusted Execution - SysTEX '16 - Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control

Völp, Marcus, Lackorzynski, Adam, Decouchant, Jérémie, Rahli, Vincent, Rocha, Francisco, Esteves-Verissimo, Paulo

Year:

2016

Language:

english

File:

PDF, 275 KB

english, 2016

43

A twelve-week randomized controlled study of the cognitive-behavioral Integrated Psychological Therapy program: positive effect on the social functioning of schizophrenic patients

Zimmer, Marilene, Duncan, Adriana Veríssimo, Laitano, Daniela, Ferreira, Eloisa Elena, Belmonte-de-Abreu, Paulo

Journal:

Revista Brasileira de Psiquiatria

Year:

2007

File:

PDF, 836 KB

2007

44

Nuclear microscopy: A tool for imaging elemental distribution and percutaneous absorption in vivo

Ana Veríssimo, Luís C. Alves, Paulo Filipe, JoãO N. Silva, Raquel Silva, Maria Dolores YNSA, Etienne Gontier, Philippe Moretto, Jan Pallon, Teresa Pinheiro

Journal:

Microscopy Research and Technique

Year:

2007

Language:

english

File:

PDF, 601 KB

english, 2007

45

Amplified ribosomal DNA restriction analysis as a routine tool to assess toxicant driven changes in hindgut bacterial populations of Porcellio dilatatus (Crustacea: Isopoda)

Santos, Miguel J. G., Sousa, José Paulo, Tiago, Igor, Veríssimo, António, Lemos, Marco F. L.

Journal:

Journal of Environmental Monitoring

Year:

2011

Language:

english

File:

PDF, 126 KB

english, 2011

46

[IEEE 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - Melbourne, Australia (2007.12.17-2007.12.19)] 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) - On the Effects of Finite Memory on Intrusion-Tolerant Systems

Veronese, Giuliana Santos, Correia, Miguel, Lung, Lau Cheuk, Verissimo, Paulo

Year:

2007

Language:

english

File:

PDF, 83 KB

english, 2007

47

[IEEE 2007 International Symposium on Industrial Embedded Systems - Costa da Caparica, Portugal (2007.07.4-2007.07.6)] 2007 International Symposium on Industrial Embedded Systems - Architecture and Implementation of an Embedded Wormhole

Ortiz, Hugo, Casimiro, Antonio, Verissimo, Paulo

Year:

2007

Language:

english

File:

PDF, 1.56 MB

english, 2007

48

[ACM Press the 14th ACM Workshop - Denver, Colorado, USA (2015.10.12-2015.10.12)] Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society - WPES '15 - A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data

Cogo, Vinicius V., Bessani, Alysson, Couto, Francisco M., Verissimo, Paulo

Year:

2015

Language:

english

File:

PDF, 689 KB

english, 2015

49

Análise qualitativa de variáveis relevantes para a aplicação do programa de terapia psicológica integrada em pacientes com esquizofrenia de três centros do Sul do Brasil

Zimmer, Marilene, Duncan, Adriana Veríssimo, Belmont-de-Abreu, Paulo

Journal:

Revista de Psiquiatria do Rio Grande do Sul

Year:

2006

Language:

english

File:

PDF, 50 KB

english, 2006

50

Natural Resource Management in the Brazilian Amazon

Christopher Uhl, Paulo Barreto, Adalberto Veríssimo, Edson Vidal, Paulo Amaral, Ana Cristina Barros, Carlos Souza, Jr., Jennifer Johns and Jeffrey Gerwing

Journal:

Year:

1997

Language:

english

File:

PDF, 2.14 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски